preadditive category

预加性范畴